s:QOSet, a, b:|s|. (a = b)  (a  b) 

latex

Up	sets 1
Definitions of Statement	DSet, QOSet
Definitions	, t  T, P  Q, x:A. B(x), DSet, QOSet
Lemmas	qoset wf, set car wf, set leq wf, qoset refl